Prähofer, Herbert: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (40)
Найпопулярніші
Перелік
- Перелік
- Таблиця

A Comprehensive Solution for Deterministic Replay Debugging of SoftPLC Applications

Prahofer, Herbert, Schatz, Roland, Wirth, Christian, Mossenbock, Hanspeter

Журнал:

IEEE Transactions on Industrial Informatics

Рік:

2011

Мова:

english

Файл:

PDF, 993 KB

english, 2011

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - Deterministic Replay Debugging of IEC 61131-3 SoftPLC programs

Prahofer, Herbert, Schatz, Roland, Wirth, Christian, Mossenbock, Hanspeter

Рік:

2010

Мова:

english

Файл:

PDF, 640 KB

english, 2010

[IEEE 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Krakow, Poland (2012.09.17-2012.09.21)] Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Opportunities and challenges of static code analysis of IEC 61131-3 programs

Prahofer, Herbert, Angerer, Florian, Ramler, Rudolf, Lacheiner, Hermann, Grillenberger, Friedrich

Рік:

2012

Мова:

english

Файл:

PDF, 1011 KB

english, 2012

Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application

Prahofer, Herbert, Angerer, Florian, Ramler, Rudolf, Grillenberger, Friedrich

Журнал:

IEEE Transactions on Industrial Informatics

Рік:

2016

Мова:

english

Файл:

PDF, 969 KB

english, 2016

Multi-purpose, multi-level feature modeling of large-scale industrial software systems

Rabiser, Daniela, Prähofer, Herbert, Grünbacher, Paul, Petruzelka, Michael, Eder, Klaus, Angerer, Florian, Kromoser, Mario, Grimmer, Andreas

Журнал:

Software & Systems Modeling

Рік:

2016

Мова:

english

Файл:

PDF, 2.07 MB

english, 2016

Exact Scaling Functions for One-Dimensional Stationary KPZ Growth

Michael Prähofer, Herbert Spohn

Журнал:

Journal of Statistical Physics

Рік:

2004

Мова:

english

Файл:

PDF, 273 KB

english, 2004

Monaco—A domain-specific language solution for reactive process control programming with hierarchical components

Prähofer, Herbert, Schatz, Roland, Wirth, Christian, Hurnaus, Dominik, Mössenböck, Hanspeter

Журнал:

Computer Languages, Systems & Structures

Рік:

2013

Мова:

english

Файл:

PDF, 2.31 MB

english, 2013

[IEEE 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - Cagliari, Italy (2013.09.10-2013.09.13)] 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - Points-to analysis of IEC 61131-3 programs: Implementation and application

Angerer, Florian, Prahofer, Herbert, Ramler, Rudolf, Grillenberger, Friedrich

Рік:

2013

Мова:

english

Файл:

PDF, 155 KB

english, 2013

Dimensions and Random Matrices

Prähofer, Michael, Spohn, Herbert

Журнал:

Physical Review Letters

Рік:

2000

Мова:

english

Файл:

PDF, 174 KB

english, 2000

Statistical self-similarity of one-dimensional growth processes

Michael Prähofer, Herbert Spohn

Журнал:

Physica A: Statistical Mechanics and its Applications

Рік:

2000

Мова:

english

Файл:

PDF, 123 KB

english, 2000

Scale Invariance of the PNG Droplet and the Airy Process

Michael Prähofer, Herbert Spohn

Журнал:

Journal of Statistical Physics

Рік:

2002

Мова:

english

Файл:

PDF, 259 KB

english, 2002

Fluctuations of an atomic ledge bordering a crystalline facet

Ferrari, Patrik L., Prähofer, Michael, Spohn, Herbert

Журнал:

Physical Review E

Рік:

2004

Мова:

english

Файл:

PDF, 197 KB

english, 2004

Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language

Zoitl, Alois, Prahofer, Herbert

Журнал:

IEEE Transactions on Industrial Informatics

Рік:

2013

Мова:

english

Файл:

PDF, 1.20 MB

english, 2013

[IEEE 2011 6th IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT) - Williamsburg, VA, USA (2011.09.29-2011.09.30)] 2011 6th International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT) - A multi-level approach for visualization and exploration of reactive program behavior

Wirth, Christian, Prahofer, Herbert, Schatz, Roland

Рік:

2011

Мова:

english

Файл:

PDF, 537 KB

english, 2011

[IEEE 2013 IEEE 11th International Conference on Industrial Informatics (INDIN) - Bochum, Germany (2013.07.29-2013.07.31)] 2013 11th IEEE International Conference on Industrial Informatics (INDIN) - Reverse engineering and visualization of the reactive behavior of PLC applications

Prahofer, Herbert, Wirth, Christian, Berger, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 969 KB

english, 2013

[IEEE 2013 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Santander, Spain (2013.09.4-2013.09.6)] 2013 39th Euromicro Conference on Software Engineering and Advanced Applications - Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers

Schatz, Roland, Prahofer, Herbert

Рік:

2013

Мова:

english

Файл:

PDF, 228 KB

english, 2013

[IEEE Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008) - Madrid, Spain (2008.02.25-2008.02.29)] Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008) - Supporting Runtime System Adaptation through Product Line Engineering and Plug-in Techniques

Wolfinger, Reinhard, Reiter, Stephan, Dhungana, Deepak, Grunbacher, Paul, Prahofer, Herbert

Рік:

2008

Мова:

english

Файл:

PDF, 521 KB

english, 2008

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - MONACO — A domain-specific language supporting hierarchical abstraction and verification of reactive control programs

Prahofer, Herbert, Hurnaus, Dominik

Рік:

2010

Мова:

english

Файл:

PDF, 925 KB

english, 2010

[IEEE 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Krakow, Poland (2012.09.17-2012.09.21)] Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) - A tool for trace visualization and offline debugging of PLC applications

Berger, Richard, Prahofer, Herbert, Wirth, Christian, Schatz, Roland

Рік:

2012

Мова:

english

Файл:

PDF, 4.03 MB

english, 2012

[IEEE 2011 9th IEEE International Conference on Industrial Informatics (INDIN) - Lisbon, Portugal (2011.07.26-2011.07.29)] 2011 9th IEEE International Conference on Industrial Informatics - Building hierarchical automation solutions in the IEC 61499 modeling language

Zoitl, Alois, Prahofer, Herbert

Рік:

2011

Мова:

english

Файл:

PDF, 780 KB

english, 2011

[IEEE IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - Coeur d'Alene, ID, USA (2007.09.23-2007.09.27)] IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - The Domain-Specific Language Monaco and its Visual Interactive Programming Environment

Prahofer, Herbert, Hurnaus, Dominik, Wirth, Christian, Mossenbock, Hanspeter

Рік:

2007

Мова:

english

Файл:

PDF, 161 KB

english, 2007

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay

Schatz, Roland, Prahofer, Herbert

Рік:

2012

Мова:

english

Файл:

PDF, 636 KB

english, 2012

[IEEE 2013 IEEE 11th International Conference on Industrial Informatics (INDIN) - Bochum, Germany (2013.07.29-2013.07.31)] 2013 11th IEEE International Conference on Industrial Informatics (INDIN) - Verification of hierarchical IEC 61499 component systems with behavioral event contracts

Prahofer, Herbert, Zoitl, Alois

Рік:

2013

Мова:

english

Файл:

PDF, 687 KB

english, 2013

[ACM Press the 17th International Software Product Line Conference co-located workshops - Tokyo, Japan (2013.08.26-2013.08.30)] Proceedings of the 17th International Software Product Line Conference co-located workshops on - SPLC '13 Workshops - Custom-developed vs. model-based configuration tools

Lettner, Daniela, Petruzelka, Michael, Rabiser, Rick, Angerer, Florian, Prähofer, Herbert, Grünbacher, Paul

Рік:

2013

Мова:

english

Файл:

PDF, 605 KB

english, 2013

[ACM Press the 4th international workshop - Leipzig, Germany (2008.05.12-2008.05.12)] Proceedings of the 4th international workshop on End-user software engineering - WEUSE '08 - Software support for building end-user programming environments in the automation domain

Prähofer, Herbert, Hurnaus, Dominik, Schatz, Roland, Wirth, Christian, Mössenbö k, Hanspeter

Рік:

2008

Мова:

english

Файл:

PDF, 460 KB

english, 2008

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Programming assistance based on contracts and modular verification in the automation domain

Hurnaus, Dominik, Prähofer, Herbert

Рік:

2010

Мова:

english

Файл:

PDF, 402 KB

english, 2010

[ACM Press the Eighth International Workshop - Trento, Italy (2010.07.12-2010.07.16)] Proceedings of the Eighth International Workshop on Dynamic Analysis - WODA '10 - Detection of high-level execution patterns in reactive behavior of control programs

Prähofer, Herbert, Schatz, Roland, Wirth, Christian

Рік:

2010

Мова:

english

Файл:

PDF, 463 KB

english, 2010

[IEEE 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Ottawa, ON, Canada (2015.9.30-2015.10.2)] 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Feature modeling of two large-scale industrial software systems: Experiences and lessons learned

Lettner, Daniela, Eder, Klaus, Grunbacher, Paul, Prahofer, Herbert

Рік:

2015

Мова:

english

Файл:

PDF, 487 KB

english, 2015

[IEEE 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Verona, Italy (2014.8.27-2014.8.29)] 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications - Software Evolution in an Industrial Automation Ecosystem: An Exploratory Study

Lettner, Daniela, Angerer, Florian, Grunbacher, Paul, Prahofer, Herbert

Рік:

2014

Мова:

english

Файл:

PDF, 224 KB

english, 2014

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Configuration-Aware Change Impact Analysis (T)

Angerer, Florian, Grimmer, Andreas, Prahofer, Herbert, Grunbacher, Paul

Рік:

2015

Мова:

english

Файл:

PDF, 348 KB

english, 2015

[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Behavioral model synthesis of PLC programs from execution traces

Prahofer, Herbert, Schatz, Roland, Grimmer, Andreas

Рік:

2014

Мова:

english

Файл:

PDF, 795 KB

english, 2014

[IEEE 2014 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Victoria, BC, Canada (2014.9.29-2014.10.3)] 2014 IEEE International Conference on Software Maintenance and Evolution - Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems

Linsbauer, Lukas, Angerer, Florian, Grunbacher, Paul, Lettner, Daniela, Prahofer, Herbert, Lopez-Herrejon, Roberto E., Egyed, Alexander

Рік:

2014

Мова:

english

Файл:

PDF, 396 KB

english, 2014

[IEEE 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) - Suita, Osaka, Japan (2016.3.14-2016.3.18)] 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) - Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned

Grimmer, Andreas, Angerer, Florian, Prahofer, Herbert, Grunbacher, Paul

Рік:

2016

Мова:

english

Файл:

PDF, 224 KB

english, 2016

[ACM Press the 20th International Systems and Software Product Line Conference - Beijing, China (2016.09.16-2016.09.23)] Proceedings of the 20th International Systems and Software Product Line Conference on - SPLC '16 - A prototype-based approach for managing clones in clone-and-own product lines

Rabiser, Daniela, Grunbacher, Paul, Prahofer, Herbert, Angerer, Florian

Рік:

2016

Мова:

english

Файл:

PDF, 764 KB

english, 2016

[ACM Press the 2014 International Conference - Nanjing, China (2014.05.26-2014.05.28)] Proceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 - A case study on software ecosystem characteristics in industrial automation software

Lettner, Daniela, Angerer, Florian, Prähofer, Herbert, Grünbacher, Paul

Рік:

2014

Мова:

english

Файл:

PDF, 546 KB

english, 2014

[IEEE 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Poitiers, France (2016.7.19-2016.7.21)] 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Feature-oriented development in industrial automation software ecosystems: Development scenarios and tool support

Prahofer, Herbert, Rabiser, Daniela, Angerer, Florian, Grunbacher, Paul, Feichtinger, Peter

Рік:

2016

Мова:

english

Файл:

PDF, 1.62 MB

english, 2016

[IEEE 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Raleigh, NC, USA (2016.10.2-2016.10.7)] 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Modular Change Impact Analysis for Configurable Software

Angerer, Florian, Prahofer, Herbert, Grunbacher, Paul

Рік:

2016

Мова:

english

Файл:

PDF, 190 KB

english, 2016

[IEEE 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Shanghai (2017.9.17-2017.9.22)] 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) - An Experiment Comparing Lifted and Delayed Variability-Aware Program Analysis

Angerer, Florian, Grunbacher, Paul, Prahofer, Herbert, Linsbauer, Lukas

Рік:

2017

Мова:

english

Файл:

PDF, 284 KB

english, 2017

[IEEE 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Porto (2018.7.18-2018.7.20)] 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Deriving a State Model of a Control Program by Symbolic Execution

Prahofer, Herbert, Bohm, Thomas, Pichler, Josef

Рік:

2018

Мова:

english

Файл:

PDF, 124 KB

english, 2018

[IEEE 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA) - Torino, Italy (2018.9.4-2018.9.7)] 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA) - Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems

Hinterreiter, Daniel, Prahofer, Herbert, Linsbauer, Lukas, Grunbacher, Paul, Reisinger, Florian, Egyed, Alexander

Рік:

2018

Мова:

english

Файл:

PDF, 1.39 MB

english, 2018